Foundations of Science

Results: 707



#Item
21

RDF and SPARQL: Database Foundations Marcelo Arenas, Claudio Gutierrez, Jorge Perez Department of Computer Science Pontificia Universidad Cat´ olica de Chile Universidad de Chile

Add to Reading List

Source URL: marenas.sitios.ing.uc.cl

- Date: 2013-04-26 05:45:30
    22

    Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

    Add to Reading List

    Source URL: danelahman.github.io

    - Date: 2018-03-25 20:15:13
      23

      Taking Updates Seriously∗ Danel Ahman Laboratory for Foundations of Computer Science, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Tarmo Uustalu

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        24

        Normalization by evaluation and algebraic effects Danel Ahman1 Laboratory for Foundations of Computer Science University of Edinburgh

        Add to Reading List

        Source URL: danelahman.github.io

        - Date: 2018-03-25 20:15:13
          25

          MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            26

            Update Monads: Cointerpreting Directed Containers Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom; d.ahman@

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              27

              Workshop on “Theoretical Foundations of Data Science (TFoDS)” Organizers: P. Drineas and X. Huo 1. Executive Summary The workshop on “Theoretical Foundations of Data Science (TFoDS): Algorithmic, Mathematical, and

              Add to Reading List

              Source URL: www.cs.rpi.edu

              - Date: 2016-10-21 09:09:35
                28

                Foundations of Data Science∗ Avrim Blum, John Hopcroft and Ravindran Kannan Thursday 9th June, 2016 ∗

                Add to Reading List

                Source URL: www.cs.cornell.edu

                - Date: 2016-06-09 16:28:58
                  29

                  Foundations of Data Science∗ Avrim Blum, John Hopcroft and Ravindran Kannan Thursday 9th June, 2016 ∗

                  Add to Reading List

                  Source URL: www.cs.cornell.edu

                  - Date: 2016-06-09 16:28:58
                    30

                    Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall

                    Add to Reading List

                    Source URL: www.dcs.gla.ac.uk

                    - Date: 2013-12-19 07:07:16
                      UPDATE